Semantic resolution tree